<?php $user = $_SESSION['user']; ?>
		<div class="block">
			Menu &gt;
			<a id="menu_logout" href="index.php?task=default">Home</a> | 
<?php if($user->getGid()==1){ ?>
			<a id="menu_userlist" href="?task=listUser">User List</a> | 
			<a id="menu_userlist" href="?task=accessMatrix">Access Matrix</a> | 
<?php } ?>
			<a id="menu_logout" href="?task=logout">Logout</a>
		</div>
